multi-quicksort (binary search) - i:
states                      NT saturated            NT             T   T saturated         Total
branch_count:                   72576162      57428287      72525936     157461228     359991613
correct_count:                  43848092      28728071      43825719     113635509     230037391
incorrect_count:                28728070      28700216      28700217      43825719     129954222
taken_count:                    28728070      28700216      43825719     113635509     214889514
not_taken_count:                43848092      28728071      28700217      43825719     145102099
current state:              NT saturated

multi-quicksort (binary search) - j:
states                      NT saturated            NT             T   T saturated         Total
branch_count:                   72960856      57410691      72141243     155286170     357798960
correct_count:                  44193653      28767203      43497755     111788415     228247026
incorrect_count:                28767203      28643488      28643488      43497755     129551934
taken_count:                    28767203      28643488      43497755     111788415     212696861
not_taken_count:                44193653      28767203      28643488      43497755     145102099
current state:                         T

multi-quicksort (binary search) - partition end:
states                      NT saturated            NT             T   T saturated         Total
branch_count:                  140501156       4490636        106951          3356     145102099
correct_count:                 136114210       4386946          3260            96     140504512
incorrect_count:                 4386946        103690        103691          3260       4597587
taken_count:                     4386946        103690          3260            96       4493992
not_taken_count:               136114210       4386946        103691          3260     140608107
current state:                        NT

multi-quicksort (binary search) - binary left:
states                      NT saturated            NT             T   T saturated         Total
branch_count:                   89318774      48335015      21631482       8448861     167734132
correct_count:                  55952435      33366340       6662806       1786055      97767636
incorrect_count:                33366339      14968675      14968676       6662806      69966496
taken_count:                    33366339      14968675       6662806       1786055      56783875
not_taken_count:                55952435      33366340      14968676       6662806     110950257
current state:              NT saturated

multi-quicksort (binary search) - binary right:
states                      NT saturated            NT             T   T saturated         Total
branch_count:                    3098266      10514386      38844534      58493071     110950257
correct_count:                    673979       2424287      30754435      27738636      61591337
incorrect_count:                 2424287       8090099       8090099      30754435      49358920
taken_count:                     2424287       8090099      30754435      27738636      69007457
not_taken_count:                  673979       2424287       8090099      30754435      41942800
current state:                         T

multi-quicksort (binary search) - insertion:
states                      NT saturated            NT             T   T saturated         Total
branch_count:                    3553963       9984911      29400833      72536025     115475732
correct_count:                    863589       2690374      22106296      50429729      76089988
incorrect_count:                 2690374       7294537       7294537      22106296      39385744
taken_count:                     2690374       7294537      22106296      50429729      82520936
not_taken_count:                  863589       2690374       7294537      22106296      32954796
current state:                         T

